121. Intelligent Tutoring Systems :
Author: edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information systems.,Multimedia systems.
122. Intelligent information and database systems :
Author: Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
Classification :
Q334
.
A85
2019
123. Interactive Systems:
Author: edited by Fabio Paternó.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
T385
.
E358
1995
124. Introduction to digital systems design /
Author: Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages.,System design.,Algorithms.,Electrical Engineering.,Logic Design.,Computer architecture & logic design.,Computer hardware description languages.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Electrical engineering.,Numerical analysis.,System design.,Technology & Engineering-- Electrical.
Classification :
QA76
.
9
.
S88
125. Introduction to parallel computing :
Author: Roman Trobec, Boštjan Slivnik, Patricio Bulić, Borut Robič.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel programming (Computer science),Control Structures and Microprogramming.,Numeric Computing.,Processor Architectures.,Programming Techniques.,Algorithms & data structures.,Computer architecture & logic design.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Systems Architecture-- General.,Mathematical theory of computation.,Parallel processing (Electronic computers),Parallel programming (Computer science)
Classification :
QA76
.
642
126. Java frameworks and components :
Author: Michael Nash.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Java (Computer program language),Anwendungssoftware,Application software-- Development.,Computer Science.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Engineering & Applied Sciences.,Java,Java (Computer program language),Softwareentwicklung
Classification :
QA76
.
73
.
J38
N355
2003eb
127. Job scheduling strategies for parallel processing :
Author: Dalibor Klusáček, Walfredo Cirne, Narayan Desai (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer capacity-- Management, Congresses.,Computer scheduling, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture & logic design.,Computer capacity-- Management.,Computer scheduling.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Parallel processing (Electronic computers),Software Engineering.,Systems analysis & design.
Classification :
QA76
.
58
128. LATINCRYPT 2017-Progress in Cryptology
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Data encryption (Computer science). ; Software engineering. ; Computer science. ; Logic design. ; Coding theory. ; Cryptology. ;
129. Language and Automata Theory and Applications :
Author: edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
130. Learning and Coordination :
Author: by Steven H. Kim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Mechanical engineering.
Classification :
QA76
.
87
B978
1994
131. Leveraging applications of formal methods, verification and validation :
Author: Tiziana Margaria, Bernhard Steffen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
Classification :
QA76
.
9
.
F67
132. Logic, Algebra, and Computation :
Author: edited by Friedrich L. Bauer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
63
E358
1991
133. Logic-Based Program Synthesis and Transformation
Author: edited by María Alpuente.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
134. Logic and Program Semantics
Author: edited by Robert L. Constable, Alexandra Silva
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
135. Mathematical Methods in Program Development
Author: edited by Manfred Broy, Birgit Schieder.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1997
136. Microsoft Visual Basic Programs to Accompany Programming Logic and Design
Author: / Jo Ann Smith
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
137. Model Checking Software :
Author: edited by Ezio Bartocci, C.R. Ramakrishnan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2013
138. Modeling Design Objects and Processes
Author: edited by Takaaki Yagiu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Physics.,Software engineering.
Classification :
TA345
.
E358
1991
139. Models, algebras and logic of engineering software
Author: edited by Manfred Broy and Markus Pizka
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
Classification :
TA
345
.
N28
2002
140. Models in Software Engineering
Author: edited by Jörg Kienzle
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
